Логика формальная


Логика формальная
(logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ — человек; след., Сократ смертен и всякая ложь предосудительна; это — ложь; след., это предосудительно при разл. содержании имеют одну и ту же структуру, к-рая может быть представлена в виде схемы: все А суть В; С есть А; след., С есть В. Л.ф. описывает и объясняет истинность умозаключений при помощи описания и объяснения правильности схемы умозаключения: отд. умозаключение логически корректно лишь при условии, что оно является частным случаем логически правильной схемы умозаключения. Не существует универсальной Л.ф., способной описать все типы верных умозаключений, поскольку число этих типов очень велико. Вместо этого разл. логические системы развивались и классифицировались на основе содержащихся в них логических констант, т.е. соединительных слов, от значения крых зависит правильность сложных высказываний. Напр., пропозициональная Л.ф. оперирует высказываниями, логическая корректность к-рых зависит от слов (логических констант) если, и, или, не и если — и — только — если, а константами предикативной Л.ф., предшественницей к-рой была силлогистика (силлогизм) Аристотеля, являются те же слова плюс слова (кванторы) все и некоторые. Существуют разл. виды Л.ф., описывающие высказывания разных видов, напр., включающие фактор времени (временная Л.ф.), морали (деонтическая Л.ф.), веры (эпистемическая Л.ф.) и возможности модальная логика). Вопрос о том, какие именно слова могут играть роль логических констант, весьма важен в философской логике. Изучение Л.ф. является необходимым условием работы с компьютером, в частности с искусственным интеллектом (дедукция, индукция).


Народы и культуры. Оксфордская иллюстрированная энцкилопедия. — М.: Инфра-М. . 2002.

Смотреть что такое "Логика формальная" в других словарях:

  • ЛОГИКА ФОРМАЛЬНАЯ — – см. Логика.           Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

  • ЛОГИКА ФОРМАЛЬНАЯ — англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания. Antinazi. Энциклопедия… …   Энциклопедия социологии

  • ЛОГИКА, ФОРМАЛЬНАЯ — Логика, основанная на формальных (2) утверждениях, в противоположность логике, основанной на значениях …   Толковый словарь по психологии

  • ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… …   Современный философский словарь

  • Логика формальная — изучает формы мысли и их сочетаний безотносительно к их содержанию …   Энциклопедический словарь по психологии и педагогике

  • ЛОГИКА ФОРМАЛЬНАЯ — англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания …   Толковый словарь по социологии

  • Логика формальная — наука, изучающая мыслительные акты понятия, суждения, умозаключения, доказательства со стороны их логической структуры или формы в отвлечении от содержания. Основная задача формальной логики сформулировать законы и принципы, соблюдение которых… …   Теоретические аспекты и основы экологической проблемы: толкователь слов и идеоматических выражений

  • логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

  • ЛОГИКА ДИАЛЕКТИЧЕСКАЯ —         см. в ст. Диалектика. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИКА ДИАЛЕКТИЧЕСКАЯ …   Философская энциклопедия

  • “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” —     “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” понятие и термин, введенные И. Кантом в “Критике чистого разума” для обозначения “науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori” и определяющей… …   Философская энциклопедия

Книги

  • Логика. 1903, В. Минто. Книга Вильяма Минто Минто В., профессора логики в Абердине Абердин, была написана им в 1893 г. и представляет собой его последний труд. Книга содержит значительнуючасть лекций, прочитанных… Подробнее  Купить за 1949 грн (только Украина)
  • Логика. 1903, В. Минто. Книга Вильяма Минто [Минто В.], профессора логики в Абердине [Абердин], была написана им в 1893 г. и представляет собой его последний труд. Книга содержит значительную часть лекций,… Подробнее  Купить за 1734 руб
  • Логика норм, А. А. Ивин. Современная формальная логика является очень разветвленной отраслью знания. Логика норм, возникшая в 20-х годах этого века, привлекает сейчас большое и все усиливающееся внимание не только… Подробнее  Купить за 430 руб
Другие книги по запросу «Логика формальная» >>